(set-logic QF_LRA)
(set-option :algebraic.factor false)
(set-option :rewriter.local_ctx true)
(set-option :rewriter.flat false)
(set-option :rewriter.eq2ineq true)
(declare-const v7 Bool)
(declare-const v12 Bool)
(declare-const v14 Bool)
(declare-const r0 Real)
(declare-const r1 Real)
(declare-const r3 Real)
(check-sat)
(declare-const v22 Bool)
(declare-const r6 Real)
(assert v14)
(assert (xor v22 v12 true true true true (distinct r3 6076375137.0 r6 r1 (- r3 r0 r3)) true v14 true))
(assert v7)
(assert (distinct r3 r0))
(check-sat-using (then simplify add-bounds unit-subsume-simplify qfnia))